For defining a formula